C.Bernardi, F. Montagna, "Equivalence relations induced by extensional formulae: classification by means of a new fixed point property"